Search Results

Documents authored by Mendes, Rui


Found 3 Possible Name Variants:

Mendes, Rui

Document
eOS: The Exercise Operating System

Authors: Rui Mendes and José João Almeida

Published in: OASIcs, Volume 62, 7th Symposium on Languages, Applications and Technologies (SLATE 2018)


Abstract
We present an architecture for a system for creating, adapting and evaluating programming exercises for students. The system is capable of generating exercise skeletons, automatically creating inputs and outputs, provide a way of creating a large number of exercises programmatically and allowing students to solve them while giving them feedback. Furthermore, it allows the creation of special comparators that can check whether the output of a given submission is equivalent to the expected one or simply check whether the above mentioned output corresponds to a correct solution.

Cite as

Rui Mendes and José João Almeida. eOS: The Exercise Operating System. In 7th Symposium on Languages, Applications and Technologies (SLATE 2018). Open Access Series in Informatics (OASIcs), Volume 62, pp. 5:1-5:13, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2018)


Copy BibTex To Clipboard

@InProceedings{mendes_et_al:OASIcs.SLATE.2018.5,
  author =	{Mendes, Rui and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{eOS: The Exercise Operating System}},
  booktitle =	{7th Symposium on Languages, Applications and Technologies (SLATE 2018)},
  pages =	{5:1--5:13},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-072-9},
  ISSN =	{2190-6807},
  year =	{2018},
  volume =	{62},
  editor =	{Henriques, Pedro Rangel and Leal, Jos\'{e} Paulo and Leit\~{a}o, Ant\'{o}nio Menezes and Guinovart, Xavier G\'{o}mez},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2018.5},
  URN =		{urn:nbn:de:0030-drops-92630},
  doi =		{10.4230/OASIcs.SLATE.2018.5},
  annote =	{Keywords: domain specific language, code generation, automatic evaluation, testing}
}

Mendes, Rui Castro

Document
Hunting Ancestors: A Unified Approach for Discovering Genealogical Information

Authors: José João Almeida and Rui Castro Mendes

Published in: OASIcs, Volume 74, 8th Symposium on Languages, Applications and Technologies (SLATE 2019)


Abstract
This paper presents an unified approach for discovering genealogical information. It presents a frameworks for storing information concerning ancestors, locations, dates and documents. It also intends to provide a framework that is able to perform inference concerning dates by using constraints and for handling relations, locations and sources. The DSL presented also aims to help users store information from heterogeneous sources along with the evidence contained therein.

Cite as

José João Almeida and Rui Castro Mendes. Hunting Ancestors: A Unified Approach for Discovering Genealogical Information. In 8th Symposium on Languages, Applications and Technologies (SLATE 2019). Open Access Series in Informatics (OASIcs), Volume 74, pp. 22:1-22:6, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2019)


Copy BibTex To Clipboard

@InProceedings{almeida_et_al:OASIcs.SLATE.2019.22,
  author =	{Almeida, Jos\'{e} Jo\~{a}o and Mendes, Rui Castro},
  title =	{{Hunting Ancestors: A Unified Approach for Discovering Genealogical Information}},
  booktitle =	{8th Symposium on Languages, Applications and Technologies (SLATE 2019)},
  pages =	{22:1--22:6},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-114-6},
  ISSN =	{2190-6807},
  year =	{2019},
  volume =	{74},
  editor =	{Rodrigues, Ricardo and Janou\v{s}ek, Jan and Ferreira, Lu{\'\i}s and Coheur, Lu{\'\i}sa and Batista, Fernando and Gon\c{c}alo Oliveira, Hugo},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.SLATE.2019.22},
  URN =		{urn:nbn:de:0030-drops-108890},
  doi =		{10.4230/OASIcs.SLATE.2019.22},
  annote =	{Keywords: Genealogy, Domain Specific Language, Temporal Constraints}
}

Mendes, Rui C.

Document
Moopec: A Tool for Creating Programming Problems

Authors: Rui C. Mendes

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)


Abstract
This paper presents a tool called Mooshak ProblEm Creator (Moopec) for facilitating the creation of programming exercises for a web-based multi-site programming contest system called Mooshak [Leal and Silva, 2003]. Users only need to create a text file for specifying all the information concerning problems including their description, tests and user feedback. This tool provides ways of automating most tasks involved in creating problems in Mooshak and, consequently, increases teachers' productivity. Moopec allows instructors to quickly create problem sets by simply editing a text file. Moopec is implemented in Python and is available at https://github.com/rcm/mooshak_problem_creator.

Cite as

Rui C. Mendes. Moopec: A Tool for Creating Programming Problems. In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 9:1-9:7, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{mendes:OASIcs.ICPEC.2021.9,
  author =	{Mendes, Rui C.},
  title =	{{Moopec: A Tool for Creating Programming Problems}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{9:1--9:7},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.9},
  URN =		{urn:nbn:de:0030-drops-142253},
  doi =		{10.4230/OASIcs.ICPEC.2021.9},
  annote =	{Keywords: Automatic Program Assessment, Batch Generation, Testing}
}
Document
Short Paper
A Teaching Assistant for the C Language (Short Paper)

Authors: Rui C. Mendes and José João Almeida

Published in: OASIcs, Volume 91, Second International Computer Programming Education Conference (ICPEC 2021)


Abstract
We introduce a C tutor that can help instructors manage classes with many students learning to program in C. Nowadays, it is easy to evaluate code but it is hard to provide good feedback. We introduce a tool to help instructors provide students with feedback concerning their implementation and documentation for honing their programming skills. This tool is implemented in Python and is available at https://github.com/rcm/C_teaching_assistant.

Cite as

Rui C. Mendes and José João Almeida. A Teaching Assistant for the C Language (Short Paper). In Second International Computer Programming Education Conference (ICPEC 2021). Open Access Series in Informatics (OASIcs), Volume 91, pp. 13:1-13:8, Schloss Dagstuhl – Leibniz-Zentrum für Informatik (2021)


Copy BibTex To Clipboard

@InProceedings{mendes_et_al:OASIcs.ICPEC.2021.13,
  author =	{Mendes, Rui C. and Almeida, Jos\'{e} Jo\~{a}o},
  title =	{{A Teaching Assistant for the C Language}},
  booktitle =	{Second International Computer Programming Education Conference (ICPEC 2021)},
  pages =	{13:1--13:8},
  series =	{Open Access Series in Informatics (OASIcs)},
  ISBN =	{978-3-95977-194-8},
  ISSN =	{2190-6807},
  year =	{2021},
  volume =	{91},
  editor =	{Henriques, Pedro Rangel and Portela, Filipe and Queir\'{o}s, Ricardo and Sim\~{o}es, Alberto},
  publisher =	{Schloss Dagstuhl -- Leibniz-Zentrum f{\"u}r Informatik},
  address =	{Dagstuhl, Germany},
  URL =		{https://drops-dev.dagstuhl.de/entities/document/10.4230/OASIcs.ICPEC.2021.13},
  URN =		{urn:nbn:de:0030-drops-142296},
  doi =		{10.4230/OASIcs.ICPEC.2021.13},
  annote =	{Keywords: Software metrics, Documentation extractor, Domain specific language, Query language, Report generation}
}
Questions / Remarks / Feedback
X

Feedback for Dagstuhl Publishing


Thanks for your feedback!

Feedback submitted

Could not send message

Please try again later or send an E-mail